301. Algebra and coalgebra in computer science
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ; Algebra ; Congresses. ; Formale Methode ; Kongress ; Udine <2009> ; Theoretische Informatik ; Algebra ; Kongress ; Udine <2009> ; Theoretische Informatik ; Koalgebra ; Kongress ; Udine <2009> ; Algebra. ; swd
302. Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
Author: Jose Luiz Fiadeiro...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Algebra
Classification :
QA
76
.
L28
Vol
.
3629
303. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
Author: Delaram Kahrobaei, Bren Cavallo, David Garber, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
Classification :
QA
9
.
A1A42
304. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
Author: Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
Classification :
QA
76
.
L28
Vol
.
2297
305. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
Author: Michael Hanus, Jan Heering, Karl Meinke, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
Classification :
QA
76
.
L28
Vol
.
1298
306. Algebraic informatics :
Author: Franz Winkler (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing, Congresses,Computer science, Congresses,Graph theory, Congresses,Algebra-- Data processing, Congresses,Computer science, Congresses
Classification :
QA155
.
7
.
E4
307. Algebraic methodology and software technolog
Author: / Josae Meseguer, Grigore Ro?su (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software engineering--Congresses,Abstract data types (Computer science)--Congresses,Electronic books.
308. Algebraic methodology and software technolog : 6th international conference, AMAST'97 Sydney, Australia, December 13-17, 1997 : proceedings
Author: Michael Johnson )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
1349
309. Algebraic methodology and software technology :
Author: AMAST '93. M. Nivat ... (ed.). Publ. in collab. with the British Computer Society
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Abstract data types (Computer science) -- Congresses,Software engineering -- Congresses,Softwareentwicklung
310. Algebraic methodology and software technology
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Abstract data types (Computer science) ; Congresses. ; Abstract data types (Computer science) ; fast ; (OCoLC)fst00794745. ; Software engineering. ; fast ; (OCoLC)fst01124185. ; Algebraische Methode. ; swd. ; Softwaree
311. Algebraic methodology and software technology :
Author: Michael Johnson, Dusko Pavlovic (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Abstract data types (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
I58
2011
312. Algebraic methodology and software technology : 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings
Author: Armando Martin Haeberer )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
1548
313. Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
Author: Martin Wirsing, Maurice Nivat )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
1101
314. Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
Author: Charles Rattray, Savitri Maharaj, Carron Shankland )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
3116
315. Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
Author: Teodor Rus )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
1816
316. Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
Author: Helene Kirchner, Christophe Ringeissen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
2422
317. Algorithmic Game Theory
Author:
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: کامپیوتر,Computer science,a03,a03,Game theory -- Congresses.,Algorithms -- Congresses.,Computers -- Hardware -- Network Hardware.,Computers -- Electronic Commerce.,Game Theory, 11th International Symposium, SAGT, 2018 Beijing, China
318. Algorithmic Learning Theory.
Author: \ Kamalika Chaudhuri , Claudio Gentile, Sandra Zilles (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,کامپیوتر,a05,a05,Computer algorithms -- Congresses.,Machine learning -- Congresses.,الگوریتمهای کامپیوتری -- کنگره ها,فراگیری ماشینی -- کنگره ها
Classification :
QA
76
.
9
.
A55
2015
E-Book
,
319. Algorithmic and quantitative real algebraic geometry : DIMACS Workshop, Algorithmic and Quantitative Aspects of Real Algebraic, Geometry in Mathematics and Computer Science, March 12-16, 2001, DIMACS Center
Author: Saugata Basu, Laureano Gonzalez-Vega, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Geometry, Algebraic,Congresses ، Computer science -- Mathematics
Classification :
QA
564
.
D552
2001
320. Algorithmic applications in management :
Author: Nimrod Megiddo, Yinfeng Xu, Binhai Zhu (eds.).
Library: Library of Faculty of World Studies University of Tehran (Tehran)
Subject: Management science,Computer algorithms,Congresses.,Congresses.,Mathematical models
Classification :
QA76
.
9
.
A43
A25
2005
